- 双语例句 更多例句
1、
该方法采用XYZ/E描述，首先确保规范与被测软件的语义一致，其次，利用XYZ/E规范的逻辑程序属性，实现了对测试用例中输出期望的Prolog自动推导求值。
互联网摘选
2、
3、
4、
An Ontology-based Time Semantic Specification and Verification Approach for Web Service
一种基于Ontology的WEB服务时间约束定义及验证方法
互联网摘选
5、
该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型，从中提取相关信息生成有限状态机；
互联网摘选
6、
该规范的语义是应当创建已引用对象的一个副本，并指定另一个名称。
互联网摘选
7、
DTD是一种基于语法的XML规范形式化定义，在考虑结构完整性约束时，一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用，使得生成的DTD具有更为丰富的语义。
互联网摘选
- 相关词组
- semantic feature语义要素;
- semantic priming语义启动;
- semantic check[计] 语义检查;
- semantic field语义场;
- semantic pair语义对;
- job specification工作规范;施工[工作]规范，职务一览表;
- semantic error语义误差;
- semantic clash[计] 语义对撞;
- semantic net语义网;
- semantic rule语义规则;
- semantic unit[计] 语义单位;
- semantic code[计] 语义代码;
- semantic lock[计]语义锁定;
- semantic meaning语义;
- modal semantic[计] 模态语义;
- semantic test语义检查;
- semantic tree语义树;
- semantic word语义字;
- semantic component语义部分[成分];
- semantic count语义数计;
- 今日热词
- 热门搜索
- agreement n.协定，协议;同意，一致;合同书;（词之间性、数、人称方面与…）一致;
- applaud vt.鼓掌欢迎，欢呼;称赞，赞许;赞成，同意;vi.夸赞，鼓掌;
- occupation n.职业，工作;占有，占领;（土地、房屋、建筑等的）使用;
- stiff adj.严厉的;僵硬的，坚硬的;呆板的，拘谨的;顽固的;adv.<口>极度地，非常;
- disadvantage n.劣势;障碍;不利因素;
- smelly adj.难闻的;
- Euryale n.[希腊神话]欧律阿勒(三个蛇发女妖之一);
- repetition n.重复，反复;背诵;复制品，副本;[乐]复唱，复奏，重奏;
- urgent adj.紧急的;催促的，急切的;
- lock v.锁上;把…关起来;陷入;被紧紧抓住;加锁;n.锁;制动器;锁定;前轮转向角度;水闸;一绺（头发）;
- spiritual adj.精神上的;宗教上的;n.灵歌;
- Scottish adj.苏格兰的，苏格兰式的;
